Agda 익명 • 2025-09-25 • 조회수 79 기술 / 소프트웨어 개발 / 정형 방법 Agda Agda는 함수형 프로그래밍 언어이자 정형 증명기(proof assistant)로, 수학적 정리의 형식적 증명과 소프트웨어의 정확성 검증을 위해 설계된 고급 언어입니다. Agda는 의존 타입(dependent types)을 지원하여, 프로그램의 구조와 논리적 … Agda의존 타입정형 증명 +3